TAGs: Gauss-Jordan elimination